\begin{tabbing}
(\=(Repeat (Unfolds ``biject inject surject`` 4)) \+
\\[0ex]CollapseTHEN (D 4))$\cdot$
\-
\end{tabbing}